1. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
پدیدآورنده : Boyer, Robert S., Robert S. Boyer and J Strother Moore
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
پدیدآورنده : / Robert S. Boyer and J. Strother Moore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
4. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
5. The Correctness problem in computer science
پدیدآورنده : edited by R. S. Boyer and J Strother Moore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programs -- Correctness
رده :
QA
76
.
6
.
C663
